An Adequate Left-Associated Binary Numeral System in the -Calculus
نویسنده
چکیده
This paper introduces a sequence of λ-expressions modelling the binary expansion of integers. We derive expressions computing the test for zero, the successor function, and the predecessor function, thereby showing the sequence to be an adequate numeral system. These functions can be computed efficiently. Their complexity is independent of the order of evaluation.
منابع مشابه
Une réponse négative à la conjecture de E. Tronci pour les systémes numériques typés
A numeral system is a sequence of an infinite different closed normal λ-terms which has closed λ-terms for successor and zero test. A numeral system is said adequate iff it has a closed λ-term for predecessor. A storage operator for a numeral system is a closed λ-term which simulate “call-by-value” in the context of a “call-by-name” strategy. E. Tronci conjectured the following result : a numer...
متن کاملAiry equation with memory involvement via Liouville differential operator
In this work, a non-integer order Airy equation involving Liouville differential operator is considered. Proposing an undetermined integral solution to the left fractional Airy differential equation, we utilize some basic fractional calculus tools to clarify the closed form. A similar suggestion to the right FADE, converts it into an equation in the Laplace domain. An illustration t...
متن کاملSimilarity DH-Algebras
In cite{GL}, B. Gerla and I. Leuc{s}tean introduced the notion of similarity on MV-algebra. A similarity MV-algebra is an MV-algebra endowed with a binary operation $S$ that verifies certain additional properties. Also, Chirtec{s} in cite{C}, study the notion of similarity on L ukasiewicz-Moisil algebras. In particular, strong similarity L ukasiewicz-Moisil algebras were defined. In this paper...
متن کاملModeling the Circle of Willis Using Electrical Analogy Method under both Normal and Pathological Circumstances
Background and objective: The circle of Willis (COW) supports adequate blood supply to the brain. The cardiovascular system, in the current study, is modeled using an equivalent electronic system focusing on the COW.Method: In our previous study we used 42 compartments to model whole car- diovascular system. In the current study, nevertheless, we extended our model by using 63 compartments to m...
متن کاملEvaluation of Radiocapitellar Arthritis in Patients with a Second Radiograph at Least 2 Years after Nonoperative Treatment of an Isolated Radial Head Fracture
Background: To study if patients that have a second radiograph 2 or more years after nonoperative treatment of an isolated radial head fracture have radiocapitellar osteoarthritis (RC OA). Methods: We used the database of 3 academic hospitals in one health system from 1988 to 2013 to find patients with isolated radial head fractures (no associated ligament injury or fracture) that had a second ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995